- 双语例句 更多例句
1、
Fixpoint Semantics and Reasoning of Terminological Cycles in Description Logic ε LN
描述逻辑εLN循环术语集的不动点语义及推理
互联网摘选
- 相关词组
- formal semantics形式语义学[程序];
- semantics of data[计] 数据语义学;
- verb semantics动词语义学;
- tree semantics[计]树状语义学;
- general semantics普通语义;
- body semantics体态语义学；手势语义学;
- trace semantics[计]轨迹语义学;
- standard semantics[计]标准语义学;
- logic semantics[计]逻辑语义学;
- program semantics程序语义学;
- world semantics[计] 世界语义学;
- abstract semantics[计]抽象语义学;
- temporal semantics[计]时序语义学;
- fault semantics[计]故障语义学;
- data semantics[计]数据语义学;
- language semantics[计]语言语义学;
- final semantics[计]最终语义学;
- query semantics[计]查询语义学;
- dynamic semantics[计]动态语义学;
- lexical semantics词汇语义学;
- 今日热词
- 热门搜索
- security n.保护措施;保卫部门;担保;安全;防卫;抵押品;证券;
- less adv. 较少地，较小地;prep. 减去;少掉;不足;
- flood n.洪水;泛滥;溢流;探照灯;vi.涌出;为水淹没;
- certain adj.肯定的;无疑的;轻微的;某个，某些，某位;pron.某些（不提及人或事物的名称时用）;
- quake vi.发抖，颤抖;摇动，震动;
- programme n.计划，方案;节目（单）;程序;课程;v.计划;训练;为（机器或系统）设定程序;
- show me the meaning of being lonely 告诉我孤独的意义;后街;后街男孩;告诉我孤独的含义
- liberate vt.解放;释放;释出，放出;
- bravery n.勇敢，勇气;辉煌，华丽;刚毅;
- inquire vt.& vi.打听，询问;查究;
- agency n.机构;(政府的)专门机构;(尤指)代理机构;服务机构;经销机构
- remember me [电影]记住我;
